Pour les articles homonymes, voir Théorème de Taylor (homonymie).
En analyse, le
théorème de Taylor, du nom du
Mathématicien Brook Taylor qui l'établit en
1712, permet l'approximation d'une fonction plusieurs fois
dérivable au voisinage d'un point par une
Fonction polynôme dont les coefficients dépendent uniquement des dérivées de la fonction en ce point.
De manière plus précise : si n est un Entier naturel et f est une fonction définie sur un intervalle I contenant a et telle que f ( n ) (a) existe, alors
| n f (x) = f (a) n + | f '(a)
––––––––
1! | (x - a) n + | f ( 2 ) (a)
–––––––––––
2! | (x - a) 2 n + … n + | f ( n ) (a)
–––––––––––
n! | (x - a) n n + R (x) |
| = R (x) + | n
Σ
k = 0 | f ( k ) (a)
–––––––––––
k! | (x - a) k |
Ici, n! désigne la Factorielle de n, et R (x) est un reste qui dépend de x et est petit si x est assez proche de a.
Taylor ne s'est pas vraiment préoccupé de la forme du reste, il faut attendre ses successeurs pour voir se développer une maîtrise du reste dans certaines conditions plus précises.
- Formule de Taylor-Young : Pour une fonction telle que f ( n ) (a) existe, R (x) = o ((x-a) n ), c’est-à-dire que
lim
x → a | R (x)
––––––––
(x-a) n | = 0 |
. - Formule de Taylor-Lagrange : pour une fonction n+1 fois dérivable sur I
| n R (x) = | f ( n + 1 ) ( ξ)
–––––––––––––––
(n+1)! | (x-a) n + 1 n |
où
ξ est un nombre compris strictement entre a et x
- S'il existe M tel que |f ( n + 1 ) (x)| ≤ M pour tout x de I :
| |R (x)| ≤ | M|x-a| n + 1
––––––––––––
(n+1)! |
(inégalité de Taylor-Lagrange)
- Formule de Taylor avec reste de Laplace (ou reste intégral) : pour une fonction n+1 fois continûment dérivable sur I
| n R (x) = ∫ | x
a | f ( n + 1 ) (t)
––––––––––––––
n! | (x - t) n dt n |
- l'inégalité de Taylor-Lagrange peut aussi être obtenue à partir de cette expression
- Formule de Taylor-Maclaurin : lorsque a = 0, la formule devient plus simple
| n f (x) = f (0) n + | f '(0)
––––––––
1! | x n + | f ( 2 ) (0)
–––––––––––
2! | x 2 n + … n + | f ( n ) (0)
–––––––––––
n! | x n n + R (x) n |
Si R est exprimé sous la seconde forme, appelée forme de Lagrange, le théorème de Taylor représente une généralisation du théorème des accroissements finis (qui peut être utilisé pour démontrer cette version), tandis que la troisième expression de R montre que le théorème est une généralisation du théorème fondamental du calcul différentiel et intégral (qui est utilisé dans la démonstration de cette version).
Pour certaines fonctions f, nous pouvons montrer que le reste R tend vers zéro quand n tend vers l'infini ; ces fonctions peuvent être développées en Série de Taylor dans un voisinage du point a et sont appelées des fonctions analytiques.
Le théorème de Taylor (avec reste intégral) est aussi valable si la fonction f est à valeurs complexes ou dans un Espace vectoriel. Ce n'est pas le cas de l'égalité de Taylor-Lagrange.
Démonstration de la formule de Taylor avec reste intégral
Montrons le résultat par récurrence sur n.
La propriété est vraie au rang 0. En effet, selon le théorème fondamental de l'analyse on a bien que si f est de classe C 1 sur alors:
| f (x) = f (a)+ ∫ | x
a | f '(t)dt |
Supposons la formule vraie au rang n. Alors pour f de classe C n + 2 sur on obtient, par intégration par parties:
| begin{align } n ∫ | x
a | (x-t) n
––––––––
n! | f ( n + 1 ) (t)dt n& = a x - ∫ | x
a | - | (x-t) n + 1
–––––––––––
(n+1)! | f ( n + 2 ) (t)dt \ n& = | (x-a) n + 1
–––––––––––
(n+1)! | f ( n + 1 ) (a)+ ∫ | x
a | (x-t) n + 1
–––––––––––
(n+1)! | f ( n + 2 ) (t)dt n end{align } |
Et comme par hypothèse de récurrence
| f (x) = | n
Σ
k = 0 | (x-a) k
––––––––
k! | f ( k ) (a)+ ∫ | x
a | (x-t) n
––––––––
n! | f ( n + 1 ) (t)dt |
on obtient :
| f (x) = | n
Σ
k = 0 | (x-a) k
––––––––
k! | f ( k ) (a)+ | (x-a) n + 1
–––––––––––
(n+1)! | f ( n + 1 ) (a)+ ∫ | x
a | (x-t) n + 1
–––––––––––
(n+1)! | f ( n + 2 ) (t)dt |
.On obtient
| f (x) = | n + 1
Σ
k = 0 | (x-a) k
––––––––
k! | f ( k ) (a)+ ∫ | x
a | (x-t) n + 1
–––––––––––
(n+1)! | f ( n + 2 ) (t)dt |
, ce qui montre que notre propriété est vraie au rang
n+1.
∎}}
Démonstration de la formule de Taylor-Young
D'après la formule de Taylor avec reste intégral on a pour f de classe
C n sur
:
| f (x) = | n - 1
Σ
k = 0 | (x-a) k
––––––––
k! | f ( k ) (a)+ ∫ | x
a | frac{(x-t)^{n-1 n</div><div style = "clear : both;"> n</div>{(n-1)!} f ( n ) (t)dt |
.On a donc :
| begin{align } n ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | f ( n ) (t)dt n& = ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | f ( n ) (a)dt+ ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | (f ( n ) (t)-f ( n ) (a))dt \ n& = | f ( n ) (a)
–––––––––––
n! | (x-a) n + ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | (f ( n ) (t)-f ( n ) (a))dt \ n end{align } |
Or f ( n ) est continue en a. Donc pour ε>0, on a |f ( n ) (t)-f ( n ) (a)| ≤ ε au voisinage de a.
On obtient donc :
| begin{align } n| ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | (f ( n ) (t)-f ( n ) (a))dt| n& ≤ | ∫ | x
a | |x-t| n - 1
–––––––––––
(n-1)! | |f ( n ) (t)-f ( n ) (a)|dt| \ n& ≤ ε| ∫ | x
a | |x-t| n - 1
–––––––––––
(n-1)! | dt| = ε | |x-a| n
––––––––
n! | end{align } |
Et donc on obtient
| ∫ | x
a | (x-t) n - 1
–––––––––––
(n-1)! | (f ( n ) (t)-f ( n ) (a))dt = underset{x → a }{o }((x-a) n) |
.Et donc
| f (x) = | n
Σ
k = 0 | (x-a) k
––––––––
k! | f ( k ) (a)+ underset{x → a }{o }((x-a) n) |
. ∎}}
Formule de Taylor pour les fonctions de plusieurs variables
Soit f une fonction k-fois différentiable en
a ∈ Ω ⊂ R n à valeur dans
R m , alors pour tout
x ∈ R n :
| nf(x) = f (a) n + f ′ (a)(x-a) n + | 1
––
2 | f ′ ′ (a)(x-a) 2 n + | .
s
| + | 1
–––
k! | f ( k ) (a)(x-a) k n + o((x-a) k) n |
En particulier, pour une fonction f, 2-fois différentiable en a ∈ Ω ⊂ R 2 à valeur dans R, alors pour tout x ∈ R 2 :
| nf(x) = f (a)+ ∇ f (a) • (x-a) n+ | 1
––
2 | (x-a) T H(a) (x-a)+ o ((x-a) 2 ) n |
où ∇ f est le Gradient de f et H(a) est la matrice Hessienne de f évaluée en a.
Sources
- J. Lelong Ferrand et J-M Arnaudiès, Cours de mathématiques (T2 : Analyse), Bordas (1977)
- Claude Deschamps et André Warusfel, J'intègre: Mathématiques première année, Dunod (1999)
Articles connexes